(info-menu-5): Mark face alias as obsolete.
authorGlenn Morris <rgm@gnu.org>
Wed, 2 Sep 2009 03:06:50 +0000 (03:06 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 2 Sep 2009 03:06:50 +0000 (03:06 +0000)
commit909ecffce5f50b1e9a7016f9e23fb3d5ff4b6801
tree019c8fe4f56c5f6fada09aade2e6ea8065967387
parent611c0ecff5e5465b902d35317b7e25922b1b14f5
(info-menu-5): Mark face alias as obsolete.
lisp/info.el